-
1 decidability problem
Большой англо-русский и русско-английский словарь > decidability problem
-
2 decidability problem
-
3 decidability problem
Математика: проблема разрешимости -
4 decidability problem
матем.English-Russian scientific dictionary > decidability problem
-
5 decidability
-
6 problem
1) задача; проблема3) трудность, затруднение•- boundary value problem - card matching problem - central limit problem - decision problem under risk - decision problem under uncertainty - extremum problem - fair division problem - gambling problem - gasoline blending problem - incompletely structured problem - optimal path problem - optimal stopping problem - portfolio selection problem - precisely specified problem - recursively solvable problem - sequential decision programming problem - sequential occupancy problem - shortest path problem - shortest route problem - standard control problem - three houses and three wells problem -
7 problem
1) проблема
2) задача
3) неисправность
– accounting problem
– advertising problem
– applied problem
– assignment problem
– attack problem
– bargaining problem
– bottleneck problem
– boundary problem
– brachistochrone problem
– caterer problem
– Cauchy problem
– check problem
– continuum problem
– control problem
– decidability problem
– decision problem
– defence problem
– diet problem
– Dirichlet's problem
– eigenvalue problem
– encounter problem
– extremum problem
– formulate problem
– formulation of problem
– four-color problem
– halting problem
– initial-value problem
– inverse problem
– many-body problem
– marriage problem
– matching problem
– moving-boundary problem
– non-stationary problem
– occupancy problem
– Plateau's problem
– primal problem
– privacy problem
– problem book
– problem calculus
– problem put by
– problem variable
– queueing problem
– refinement of problem
– set a problem
– solvable problem
– state problem
– statement of problem
– the two noncharacteristic problem
– three-point problem
– traffic problem
– transport problem
– two-body problem
– two-means problem
– warehousing problem
– word problem
– worked problem
boundary value problem — задача граничная, краевая задача
gasoline blending problem — <econ.> задача о смеси бензинов
-
8 decidability
-
9 проблема разрешимости
Большой англо-русский и русско-английский словарь > проблема разрешимости
-
10 проблема разрешимости
decidability problem матем., problem of solvabilityРусско-английский научно-технический словарь Масловского > проблема разрешимости
-
11 разрешимость
v. solvability, decidability; проблема разрешимости, decision problem, decidability problemРусско-английский словарь математических терминов > разрешимость
-
12 разрешимость
v. solvability, decidability;
проблема разрешимости - decision problem, decidability problem -
13 разрешимость
-
14 проблема разрешимости
1) Mathematics: decidability problem, decision problem, existence problem, problem of solvability2) Information technology: entscheidungsproblemУниверсальный русско-английский словарь > проблема разрешимости
-
15 проблема разрешимости
1) decidability problem
2) decision problemРусско-английский технический словарь > проблема разрешимости
-
16 toma
f.1 feed.2 dose.3 capture.4 inlet.toma de corriente ( Elec) power point, socket5 take (Cine) (plano).toma de exteriores location shot6 photo, photograph, shot, snapshot.7 intake, inlet.8 takeover, taking, overtaking.9 spigot.10 swallowing, ingestion.11 socket.pres.indicat.3rd person singular (él/ella/ello) present indicative of spanish verb: tomar.* * *(aquí tienes) here you are, here————————1 (acción) taking2 MEDICINA dose3 MILITAR capture5 (grabación) recording6 CINEMATOGRAFÍA take, shot\toma de conciencia awarenesstoma de corriente power pointtoma de muestras samplingtoma de posesión takeover* * *noun f.1) taking2) intake3) dose4) capture, seizure* * *1. SF1) (Téc) [de agua, gas] (=entrada) inlet; (=salida) outlettoma de aire — air inlet, air intake
toma de antena — (Radio, TV) aerial socket
toma de tierra — earth (wire), ground (wire) (EEUU)
2) (Cine, TV) shot¡escena primera, tercera toma! — scene one, take three!
3) [de jarabe, medicina] dose; [de bebé] feed4) (Mil) (=captura) taking, capturela toma de Granada — the taking o capture of Granada
6)toma de decisiones — decision-making, decision-taking
toma de hábito — (Rel) taking of vows
toma de posesión, mañana tendrá lugar la toma de posesión del nuevo presidente — the new president will take office tomorrow
toma de tierra — (Aer) landing, touchdown
2.SM* * *1)a) (Mil) capture, takingb) (de universidad, fábrica) occupation; ( de tierras) seizure2) (Cin, Fot) shot3) ( de medicamento) dose4) ( de datos) gathering; ( de muestras) taking5) ( en yudo) hold6) (AmL) ( acequia) irrigation channel•* * *= shot, seizure, take, inlet.Ex. Each video shot is logged using text descriptions, audio dialogue, and cinematic attributes.Ex. Penalties that can be imposed range from seizure and forfeiture of the articles and the means by which they were produced to fines or imprisonment.Ex. Bibliographic information required includes: types of recordings listed; location of recording sessions; matrix numbers; takes or take numbers; issue dates; and types of index contained in the discography.Ex. The cell arrival processes on the inlets of the switching element are of a bursty nature.----* apoyo a la toma de decisiones = decision support.* árbol para la toma de decisiones = decision tree.* hoja de toma de datos = checklist [check-list], data sheet [datasheet].* imposibilidad de toma de decisiones = undecidability.* posibilidad de toma de decisiones = decidability.* reacio a la toma de riesgos = risk-averse.* sistema de apoyo a la toma de decisiones = decision support system, decision making system.* toma de aire = air intake.* toma de apuntes = note-taking.* toma de conciencia = realisation [realization, -USA], reality check.* toma de contacto entre expertos = meeting of (the) minds.* toma de corriente = outlet, socket, socket outlet, light socket.* toma de decisiones = decision making [decision-making], decision taking.* toma de decisiones con conocimiento de causa = informed decision making.* toma de decisiones fundadas = informed decision making.* toma de iniciativas = initiative taking.* toma de luz = outlet, power point, socket, socket outlet.* toma de medidas = action.* toma de notas = note-taking.* toma de riesgos = risk-taking, calculated risk-taking.* toma de tierra = earthing.* toma de turnos en la conversación = turn-taking [turntaking].* toma eléctrica = outlet, socket, electrical outlet.* toma falsa = outtake.* Tomás de Aquino = Thomas Aquinas.* toma y daca = give and take.* * *1)a) (Mil) capture, takingb) (de universidad, fábrica) occupation; ( de tierras) seizure2) (Cin, Fot) shot3) ( de medicamento) dose4) ( de datos) gathering; ( de muestras) taking5) ( en yudo) hold6) (AmL) ( acequia) irrigation channel•* * *= shot, seizure, take, inlet.Ex: Each video shot is logged using text descriptions, audio dialogue, and cinematic attributes.
Ex: Penalties that can be imposed range from seizure and forfeiture of the articles and the means by which they were produced to fines or imprisonment.Ex: Bibliographic information required includes: types of recordings listed; location of recording sessions; matrix numbers; takes or take numbers; issue dates; and types of index contained in the discography.Ex: The cell arrival processes on the inlets of the switching element are of a bursty nature.* apoyo a la toma de decisiones = decision support.* árbol para la toma de decisiones = decision tree.* hoja de toma de datos = checklist [check-list], data sheet [datasheet].* imposibilidad de toma de decisiones = undecidability.* posibilidad de toma de decisiones = decidability.* reacio a la toma de riesgos = risk-averse.* sistema de apoyo a la toma de decisiones = decision support system, decision making system.* toma de aire = air intake.* toma de apuntes = note-taking.* toma de conciencia = realisation [realization, -USA], reality check.* toma de contacto entre expertos = meeting of (the) minds.* toma de corriente = outlet, socket, socket outlet, light socket.* toma de decisiones = decision making [decision-making], decision taking.* toma de decisiones con conocimiento de causa = informed decision making.* toma de decisiones fundadas = informed decision making.* toma de iniciativas = initiative taking.* toma de luz = outlet, power point, socket, socket outlet.* toma de medidas = action.* toma de notas = note-taking.* toma de riesgos = risk-taking, calculated risk-taking.* toma de tierra = earthing.* toma de turnos en la conversación = turn-taking [turntaking].* toma eléctrica = outlet, socket, electrical outlet.* toma falsa = outtake.* Tomás de Aquino = Thomas Aquinas.* toma y daca = give and take.* * *A1 ( Mil) capture, takingla toma de la Bastilla the storming of the Bastille2 (de una universidad, fábrica) occupationla toma de tierras por los campesinos the occupation o seizure of lands by the peasantsB1 ( Fot) shot2 ( Cin, TV):unas tomas magníficas del paisaje some magnificent shots of the countrysideel director quiere repetir esa toma the director wants to do that take againC (de un medicamento) doseD (de datos) gathering, collecting, collection; (de muestras) takingla toma de decisiones the taking of decisions, the decision-makingE (en yudo) hold(muy guapo) to be easy on the eye, to be a real looker ( colloq); (muy sabroso) to be very tasty ( colloq)Compuestos:(de una máquina) intake, inlet; (grifo) faucet ( AmE), tap ( BrE); (para incendios) hydrant; (de una acequia) point where water can be drawn offair intake, air inlet( Bolsa) profit-takingfuel intake, fuel inletesta toma de conciencia del problema the fact that people have become aware o conscious of the problem, this new awareness of the problem(contacto) contact; (contacto inicial) first o initial contactno ha habido toma de contacto entre ellos there has been no contact between them, they have not been in contact(wall) socket, power point, outlet ( AmE)(de un presidente) inauguration; (de ministros) swearing-in ceremony(en un cargo): el día de mi toma de posesión the day I took up my postsu toma de postura sorprendió a mucha gente his stance surprised many peopleesta toma de postura de la Iglesia the adoption of this stance by the Church, the fact that the Church has adopted o taken this stanceA ( Elec) ground ( AmE), ground wire ( o connection etc) ( AmE), earth ( BrE), earth wire ( o connection etc) ( BrE)B ( Aviac) landing, touchdownmasculine (intercambio de favores, servicios) give-and-take; (en un combate, una prueba) cut-and-thrust* * *
Del verbo tomar: ( conjugate tomar)
toma es:
3ª persona singular (él/ella/usted) presente indicativo2ª persona singular (tú) imperativo
Multiple Entries:
toma
tomar
toma sustantivo femenino
1
( de tierras) seizure
2 (Cin, Fot — imagen) shot;
(— acción de filmar) take
3 ( de medicamento) dose
4 ( de datos) gathering;
( de muestras) taking;
5 (AmL) ( acequia) irrigation channel
6a)
tomar ( conjugate tomar) verbo transitivo
1 ( en general) to take;
la tomé de la mano I took her by the hand;
toma lo que te debo here's what I owe you;
¿lo puedo toma prestado? can I borrow it?;
tomó el asunto en sus manos she took charge of the matter;
toma precauciones/el tren/una foto to take precautions/the train/a picture;
tomale la temperatura a algn to take sb's temperature;
toma algo por escrito to write sth down;
toma algo/a algn POR algo/algn to take sth/sb for sth/sb;
¿por quién me has tomado? who o what do you take me for?;
lo tomó a mal/a broma he took it the wrong way/as a joke;
eso toma demasiado tiempo that takes up too much time
2
◊ ¿qué vas a toma? what are you going to have?
3 (esp AmL)
4 ( apoderarse de) ‹fortaleza/tierras› to seize;
‹universidad/fábrica› to occupy
5 ( adquirir) ‹ forma› to take;
‹ aspecto› to take on;
‹velocidad/altura› to gain;
‹ costumbre› to get into
6 ( cobrar):◊ le he tomado cariño a esta casa/a la niña I've become quite attached to this house/quite fond of the girl
7 ( exponerse a):
toma (el) sol to sunbathe;
vas a toma frío (CS) you'll get o catch cold
verbo intransitivo
1 ( asir):◊ toma, aquí tienes tus tijeras here are your scissors;
tome, yo no lo necesito take it, I don't need it
2 (esp AmL) ( beber alcohol) to drink
3 (AmL) (ir) to go;
toma a la derecha to turn o go right
4 [ injerto] to take
tomarse verbo pronominal
1 ‹vacaciones/tiempo› to take;
2 ‹molestia/libertad› to take;◊ tomase la molestia/libertad de hacer algo to take the trouble to do sth/the liberty of doing sth
3 ( enf)
‹helado/yogur› to have
4 ‹autobús/tren/taxi› to take
5 (Med)
b) ( caus):
6 ( caus) (esp AmL) ‹ foto› to have … taken
7 ( enf) ( reaccionar frente a) ‹comentario/noticia› to take;
8 (Chi) ‹universidad/fábrica› to occupy
toma sustantivo femenino
1 (acción de tomar) taking
(de datos) gathering
(de una ciudad, un edificio) taking, occupation
Mil capture
toma de posesión, investiture
2 Cine Fot shot
(secuencia) take
3 (dosis) dose
4 Elec toma de corriente, power point, US socket
toma de tierra, earth, US ground
5 toma de conciencia, awareness, realization
tomar verbo transitivo
1 (coger, agarrar) to take: tomó mi mano, he took my hand
toma las llaves, here are the keys
2 (autobús, taxi, etc) to take, catch: tomé el ascensor, I took the lift o elevator
tengo que tomar el próximo tren, I have to catch the next train
3 (alimentos) to have
(bebidas) to drink
(medicinas) to take
4 (adoptar) to take, adopt: tomaron medidas desesperadas, they took desperate measures
5 (tener cierta reacción) no lo tomes a broma, don't take it as a joke
6 (juzgar) no me tomes por idiota, don't think I'm stupid
(confundirse) le tomaron por Robert Redford, they mistook him for Robert Redford
7 (el aire, el fresco, etc) to get
tomar el sol, to sunbathe
8 (en carretera) decidió tomar la autopista, he decided to take the motorway
9 (apuntes, notas) to take
10 (fotos) to take
11 Av tomar tierra, to land, touch down 12 ¡toma! excl (sorpresa) well!, why!
(asentimiento) of course!
' toma' also found in these entries:
Spanish:
confianza
- licencia
- pachorra
- potingue
- sana
- sano
- tierra
- tomar
- tranquilidad
- agarrar
- cachondeo
- ligero
- toma y daca
English:
assumption
- capture
- decision making
- earth
- easy-going
- give
- give-and-take
- here
- initiative
- intake
- laugh off
- nightcap
- on
- outtake
- plenty
- plug
- power point
- retake
- seizure
- shot
- so
- socket
- take
- takeover
- treat
- turn
- turn off
- any
- decision
- drink
- hammer
- hydrant
- inaugural
- inauguration
- note
- out
- point
- power
- pride
- quits
- sit
* * *♦ nf1. [acción de tomar]toma de conciencia realization;la toma de conciencia tardó mucho tiempo it took some time for people to become aware of the true situation;toma de decisiones decision-making;toma de posesión [de gobierno, presidente] investiture;la toma de posesión será el día 25 [de cargo] he will take up his post on the 25th;alabaron la toma de posición del presidente en este tema they praised the position taken by the president on this matter2. [de biberón, papilla] feed3. [de medicamento] dose4. [de ciudad] capture;la toma del castillo the storming of the castle5. [de agua, aire] inletAm Elec toma de contacto socket, esp Br power point; Elec toma de corriente socket, esp Br power point; Elec toma de tierra Br earth, US ground6. Cine & TV [plano] taketoma falsa outtake♦ nmFamtoma y daca give and take* * *f FOT shot, take* * *toma nf1) : taking, seizure, capture2) dosis: dose3) : take, shot4)toma de corriente : wall socket, outlet5)toma y daca : give-and-take* * *toma n1. (de medicamento) dose2. (en cine) take3. (conquista) taking / capturetoma de corriente socket / power point
См. также в других словарях:
Decidability (logic) — In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their… … Wikipedia
decidability — See decision problem … Philosophy dictionary
Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… … Wikipedia
Tarski's exponential function problem — In model theory, Tarski s exponential function problem asks whether the usual theory of the real numbers together with the exponential function is decidable. Tarski had previously shown that the theory of the real numbers (without the exponential … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Undecidable problem — In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is impossible to construct an algorithm that leads to a yes or no answer the problem is not decidable.A decision problem is any … Wikipedia
Recursive languages and sets — This article is a temporary experiment to see whether it is feasible and desirable to merge the articles Recursive set, Recursive language, Decidable language, Decidable problem and Undecidable problem. Input on how best to do this is very much… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… … Wikipedia